17.76/17.90	unsat
