0.30/0.83	unsat
