5.39/5.52	unsat
