6.17/6.61	unsat
