14.68/15.74	unsat
