6.17/6.89	unsat
