54.81/57.02	unsat
