57.49/57.66	unsat
