54.70/57.16	unsat
