0.69/1.00	unsat
