0.20/0.23	unsat
