16.98/17.54	unsat
