56.61/104.81	unsat
