16.95/17.04	unsat
