17.56/18.18	unsat
