15.66/15.74	unsat
