16.56/17.82	unsat
