16.95/17.31	unsat
