14.07/16.72	unsat
