48.27/48.43	unsat
