16.95/17.52	unsat
