0.20/0.29	unsat
