0.20/0.22	unsat
