57.63/57.85	unsat
