0.20/1.00	unsat
