15.66/17.74	unsat
