9.96/12.80	unsat
