5.68/7.61	unsat
