5.37/7.67	unsat
