60.62/64.10	unsat
