0.39/0.85	unsat
