0.10/0.18	unsat
