16.26/17.74	unsat
