57.35/60.84	unsat
