14.97/16.65	unsat
