57.12/60.45	unsat
