6.67/10.80	unsat
