0.17/0.18	unsat
