0.78/0.81	unsat
