14.36/16.88	unsat
