5.68/6.61	unsat
