45.54/48.31	unsat
