6.52/6.58	unsat
