0.83/1.00	unsat
