0.77/0.83	unsat
