5.61/7.78	unsat
