16.95/17.05	unsat
