0.19/0.20	unsat
