0.78/0.82	unsat
