17.56/17.63	unsat
