57.30/61.47	unsat
