8.96/11.80	unsat
