13.71/16.80	unsat
