14.96/16.80	unsat
