5.08/7.74	unsat
