14.37/16.65	unsat
