6.07/10.80	unsat
