55.74/57.43	unsat
