48.18/49.31	unsat
