0.19/1.00	unsat
