5.91/7.83	unsat
