16.95/17.89	unsat
