45.53/47.81	unsat
