5.37/7.83	unsat
