5.35/6.67	unsat
