7.67/7.73	unsat
