8.19/10.80	unsat
