7.67/7.80	unsat
