17.66/17.86	unsat
