6.55/6.59	unsat
