17.56/18.92	unsat
