61.34/61.52	unsat
