14.76/16.72	unsat
