57.47/60.46	unsat
