61.02/61.10	unsat
