17.66/17.74	unsat
