6.58/6.61	unsat
