17.66/17.96	unsat
