17.56/18.17	unsat
