47.54/49.89	unsat
