0.08/0.18	unsat
