5.36/7.67	unsat
