14.47/16.81	unsat
