14.88/15.74	unsat
