14.04/16.72	unsat
