14.47/16.65	unsat
