54.90/60.57	unsat
