0.39/0.83	unsat
