0.78/1.00	unsat
