5.68/7.67	unsat
