14.25/15.65	unsat
