17.85/17.90	unsat
