17.66/18.58	unsat
