57.41/60.67	unsat
